En un mundo que busca desesperadamente la manera de aumentar la seguridad informática, las teorías y los estudios de Shafi Goldwasser en el Instituto Weizmann, una pionera en el campo de la criptografía, se han hecho más relevantes y apreciadas que nunca. Tanto es así que Goldwasser, junto con su socio en la investigación, el Prof. Silvio Micali del MIT, recibirán el prestigioso Premio Turing “por la obra de transformación que sentó las bases de la teoría de la complejidad en la ciencia de la criptografía, y en ese proceso desarrollaron nuevos métodos para la verificación eficiente de las pruebas matemáticas de la teoría de la complejidad «, dijo el Instituto Weizmann.El Premio Turing, otorgado por la Association for Computing Machinery (ACM), es considerado como el premio máximo por los profesionales de la informática, una especie de «Premio Nobel» (los Nobel no se conceden en este campo). El premio conlleva una recompensa de USD 250.000, gracias al apoyo financiero de Intel Corporation y Google Inc.La criptografía ha existido desde hace siglos y se remonta a la época de las Pirámides y al período del Primer Templo. El sistema «atbash» utilizado en la literatura judía clásica, en el cual se utiliza un código que invierte letras hebreas para generar mensajes cifrados, se considera una forma de criptografía. Pero fue un documento de 1982 preparado por Goldwasser y Micali sobre el tema de «El encriptado probabilístico» el que se considera sea la primera base científica para una teoría sobre qué es lo que hace que un sistema criptográfico sea exitoso.Ese documento fue pionero en varios temas que hoy se consideran básicos en este campo – justo a tiempo para la revolución de la informática y de las redes que comenzó pocos años después. El documento incluía la introducción de las definiciones de seguridad formal (en la que se basan ahora casi todos los sistemas de seguridad informática y de contraseñas); la introducción de métodos de asignación de cifrado al azar que pueden satisfacer los estrictos requisitos de seguridad y que no podían ser satisfechos por los esquemas de encriptación no aleatoria anteriores; y la metodología de “pruebas reduccionistas» basada en algoritmos que, si tiene éxito en mantener fuera a los que no conocen el código, indica que el sistema de seguridad es de primera categoría.El documento de 1982 también introdujo el «paradigma de simulación» en el que se establece la seguridad de un sistema, demostrando que un enemigo podría haber simulado, por su cuenta, cualquier información que obtuvo mientras participaba de un sistema criptográfico – significando que no había comprometido el sistema con el fin de generar dicha información. El paradigma de simulación se ha convertido en el método más generalmente usado para probar la seguridad del encriptado, definiendo y probando la seguridad de los métodos de autenticación y sistemas de protección de software, incluso para sistemas que incluyen muchos participantes como, por ejemplo, en votaciones electrónicas y subastas en línea.En otro documento influyente, publicado en 1985 con Charles W. Rackoff, Goldwasser y Micali introdujeron el concepto de «pruebas interactivas de conocimiento cero.» Un ejemplo de prueba interactiva de conocimiento cero sería un cajero automático que no requiere que una persona introduzca su “pin”, que sólo tendría que verificar que lo conocen, a través de una especie de «conversación» que analiza los resultados de una serie de preguntas que indican si la persona que está tratando de demostrar su legitimidad está mintiendo o no.Las pruebas de conocimiento cero permiten a usuarios que trabajan en Internet y que pueden no confiar uno en el otro para computar funciones conjuntas sobre sus datos secretos, abrir la puerta a una amplia colaboración en redes informáticas. Además de los beneficios de la seguridad informática, las pruebas interactivas de conocimiento cero han impactado muchas en otras áreas científicas, como las matemáticas, dijo el Instituto Weizmann.Goldwasser ha ganado muchos premios por su trabajo, pero el Premio Turing es especial – no sólo por su prestigio y la recompensa de USD 250.000 – porque ella sería la tercera mujer en ganar este premio que tiene 47 años de existencia. El Instituto Weizmann también está muy orgulloso de Goldwasser porque ella es el tercer israelí – y el tercer profesor del Instituto Weizmann – en ganar el premio (los otros dos fueron Amir Pnueli en 1996 y Adi Shamir en 2002). El premio será entregado el 15 de junio en el evento anual de premios de la ACM en San Francisco.El trabajo realizado por Goldwasser y Micali es un bloque de construcción básico de la computación moderna, dijo Vint Cerf, presidente de ACM. «Los esquemas de encriptado que se ejecutan hoy día en los navegadores cumplen con sus nociones de seguridad. El método para encriptar los números de las tarjetas de crédito al comprar en Internet también cumplen con esta prueba. Estamos en deuda con los destinatarios del premio por sus enfoques innovadores para garantizar la seguridad en la era digital «.Alfred Spector, vicepresidente de Investigación e Iniciativas Especiales de Google Inc., está de acuerdo. «En la era de las computadoras, estos adelantos en la criptografía han trascendido la era del código de criptografía de Alan Turing «, dijo Spector. «Ahora tienen aplicación en tarjetas de cajero automático, en contraseñas de computadoras y en el comercio electrónico, así como la preservación de la confidencialidad de datos de los participantes, tales como el voto electrónico. Estos son logros monumentales que han cambiado nuestra forma de vivir y trabajar «.
Links de interés
